(0 6 2)(1 19 15)(3 9 7)(4 18 16)(5 13 12)(8 14 10)(11 20 17)
ALLOWS (11/8)-SEQUENCE
1: (11 17 20)
(0 6 2)(1 19 15)(3 9 7)(4 18 16)(5 13 12)(8 14 10)(11 17 20)
2: (4 18 16)
(0 6 2)(1 19 15)(3 9 7)(4)(5 13 12)(8 14 10)(11 17 20)(16)(18)
3: (11 17 20)
(0 6 2)(1 19 15)(3 9 7)(4)(5 13 12)(8 14 10)(11)(16)(17)(18)(20)
4: (1 19 15)
(0 6 2)(1)(3 9 7)(4)(5 13 12)(8 14 10)(11)(15)(16)(17)(18)(19)(20)